theorem proving system
定理証明系统
热门查询
- Messrs n. （法）各位先生（等于Messieurs）
- putting n. 投掷；（高尔夫球）打球入洞 v. 放置（put的ing形式）；轻击球；使球入洞的轻击（putt的ing形式）
- tragic adj. 悲剧的；悲痛的，不幸的
- atavism n. 返祖现象；隔代遗传
- dictaphone n. 录音机；口授留声机；录音电话机
- demobilization n. 复员；遣散（demobilize的名词）
- ord abbr. 研究与开发处（Office for Research and Development）；运筹学部（Operational Research Division0；旋光色散谱, 旋光分散作用（Optical Rotatory Dispersion）
- occlusive adj. 咬合的；闭塞的 n. 闭塞音
- Leverhulme n. (Leverhulme)人名；(英)利弗休姆
- Thracian n. 色雷斯人；色雷斯语 adj. 色雷斯语的；色雷斯人的
- Funchal 丰沙尔[北大西洋中东部葡属马德拉群岛首府]
- opposite sex n. 异性 [网络] 异性相吸；也指性别不同的人；性别的人
- wes abbr. water electrolysis system 水电解系统; Weasua, Liberia 利比亚; Welding Engineering Standard <日本>焊接工程标准; wavelength demodulation system 波长解调系统
- prospectus n. 内容说明书；样张；创办计划书；学校的入学简介
- thud n. 砰的一声；重击 vi. 砰的一声掉下；发出砰声 vt. 砰地击中
- helpmate n. 助手；配偶；伙伴
- ornamentation n. 装饰物
- lea n. 草地 n. (Lea)人名；(西、意、罗、匈、挪、德、芬)莱亚；(英)利
- salmonella n. 沙门氏菌
- inmate n. (尤指)同院病人；同狱犯人；同被(收容所)收容者
